21. Intensional mathematics
پدیدآورنده : / edited by Stewart Shapiro. -
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Modality (Logic),Constructive mathematics.,Intuitionistic mathematics.
رده :
QA
,
9
.
46
,.
I57
,
1985
22. Intensional mathematics
پدیدآورنده : SHAPIRO,STEWART
کتابخانه: (طهران)
موضوع : MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-
رده :
QA
9
.
46
.
I57
23. Intensional mathematics /
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Constructive mathematics,Intuitionistic mathematics,Modality (Logic)
رده :
QA9
.
46
.
I57
1985
24. Intentional mathematics
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: (طهران)
موضوع : ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
25. Intuition and the Axiomatic Method
پدیدآورنده : \ edited by Emily Carson and Renate Huber
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy. ,Intuitionistic mathematics.,ریاضیات -- فلسفه,ریاضیات شهودی
رده :
E-Book
,
26. Intuition and the axiomatic method
پدیدآورنده : / edited by Emily Carson and Renate Huber
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Mathematics--Philosophy,Intuitionistic mathematics.,Axioms.
27. Intuition and the axiomatic method
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics ; Philosophy. ; Intuitionistic mathematics. ; Axioms. ;
28. Intuition and the axiomatic method
پدیدآورنده : / edited by Emily Carson and Renate Huber
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematic--Philosophy,Intuitionistic mathematics,Axioms
رده :
E-BOOK
29. Intuitionism :
پدیدآورنده : A. Heyting
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Intuitionistic mathematics
رده :
QA9
.
H46
1971
30. Intuitionism : An introduction
پدیدآورنده : Heyting, Arend, 8981-0891
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
H49I5
31. Intuitionism. An introduction
پدیدآورنده : Heyting, Arend
موضوع : ، Intuitionistic mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
32. Intuitionism:an introduction
پدیدآورنده : HEYTING,AREND
کتابخانه: (طهران)
موضوع : INTUITIONISTIC MATHEMATICS
رده :
QA
9
.
H46
1971
33. Intuitionism; an introduction
پدیدآورنده : / A. Heyting
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Intuitionistic mathematics
رده :
511
.
2
H621
34. Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968
پدیدآورنده : Edited by A. Kino, J. Myhill and R. E. Vesley
کتابخانه: (طهران)
موضوع : Congresses ، Intuitionistic mathematics
رده :
QA
9
.
C742
35. Intuitionistic Proof Versus Classical Truth
پدیدآورنده : \ Enrico Martino
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Intuitionistic mathematics,ریاضیات شهودی,a03,a03,Brouwerian algebras.
رده :
E-Book
,
36. Intuitionistic fuzzy measures theory and applications
پدیدآورنده : Adrian I. Ban.
کتابخانه: (کرمان)
موضوع : Intuitionistic mathematics,Fuzzy measure theory,Fuzzy sets
رده :
QA
9
.
47
.
B36
2006
37. Intuitionistic fuzzy preference modeling and interactive decision making /
پدیدآورنده : Zeshui Xu
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fuzzy decision making,Intuitionistic mathematics
رده :
QA279
.
6
38. Intuitionistic preference modeling and interactive decision making
پدیدآورنده : Xu, Zeshui, Zeshui Xu
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Fuzzy decision making,، Intuitionistic mathematics
رده :
QA279
.
6
39. Logicism, intuitionism, and formalism
پدیدآورنده : edited by Sten Lindström ... [et al.]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Intuitionistic mathematics,Mathematics-- Philosophy-- History
رده :
QA8
.
4eb
40. Logicism, intuitionism, and formalism : what has become of them?
پدیدآورنده : edited by Sten Lindstrom ... ]et al.[
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics,Philosophy -- History ، Mathematics
رده :
QA
8
.
4
.
L634
